acq
rel
end 

S -> S acq S rel end | A | epsilon,
        A -> S acq S rel end
